We describe a general method for verifying inequalities between real-valued expressions, especially the kinds of straightforward inferences that arise in interactive theorem proving. In contrast to approaches that aim to be complete with respect to a particular language or class of formulas, our method establishes claims that require heterogeneous forms of reasoning, relying on a Nelson-Oppen-style architecture in which special-purpose modules collaborate and share information. The framework is thus modular and extensible. A prototype implementation shows that the method is promising, (...) complementing techniques that are used by contemporary interactive provers. (shrink)

Are counterfactuals with true antecedents and consequents automatically true? That is, is Conjunction Conditionalization: if (X & Y), then (X > Y) valid? Stalnaker and Lewis think so, but many others disagree. We note here that the extant arguments for Conjunction Conditionalization are unpersuasive, before presenting a family of more compelling arguments. These arguments rely on some standard theorems of the logic of counterfactuals as well as a plausible and popular semantic claim about certain semifactuals. Denying Conjunction Conditionalization, then, (...) requires rejecting other aspects of the standard logic of counterfactuals, or else our intuitive picture of semifactuals. (shrink)

From editors Carl Mitcham and Robert Mackey comes an unusually reflective and wide-ranging colloquium on technology as a philosophical problem. Organized into sections on conceptual issues, ethical and political critiques, religious critiques, existentialist critiques, and metaphysical studies, Philosophy and Technology features an introductory overview that suggests the aims of truly comprehensive philosophy of technology. Philosophy and Technology features essays by Jacques Ellul, Lewis Mumford, Ortega y Gasset, and C.S. Lewis. This revised and fully updated edition features a (...) comprehensive bibliography. (shrink)

Abstract Building on Philip Converse's understanding of public opinion, John Zaller sees the evidence for the public's ?nonattitudes? as reflecting individuals? ambivalence concerning political issues. Because neither individuals nor the public collectively have what Zaller would call real attitudes, he concludes that the effectiveness of democracy rests on competition among intellectual and political elites. In truth, however, the public has many real attitudes that depend heavily on elite leadership, in ways that Converse did not initially emphasize but that are consistent (...) with both his observations and Zaller's model of mass opinion. The quality of the public's attitudes are, however, a point of serious contention. (shrink)

The partisan and ideological polarization of American politics since the 1970s appears to have affected pubic opinion in striking ways. The American public has become increasingly partisan and ideological along liberal-conservative lines on a wide range of issues, including even foreign policy. This has raised questions about how rational the public is, in the broad sense of the public's responsiveness to objective conditions. Widespread partisan disagreements over what those conditions arei.e., disagreements about the factssuggest that large proportions of the public (...) may be perceiving the facts incorrectly. The facts in question are important enough that these partisan disagreements may translate into sub-optimal policy preferences and electoral decisions. (shrink)

Internationally, there are reports of adverse health effects (AHE) in the environs of industrial wind turbines (IWT). There was multidisciplinary confirmation of the key characteristics of the AHE at the first international symposium on AHE/iwt. The symptoms being reported are consistent internationally and are characterized by crossover findings or a predictable appearance of signs and symptoms present with exposure to IWT sound energy and amelioration when the exposure ceases. There is also a revealed preference of victims to seek restoration away (...) from their homes. This article identifies the need to create a case definition to establish a clinical diagnosis. A case definition is proposed that identifies the sine qua non diagnostic criteria for a diagnosis of adverse health effects in the environs of industrial wind turbines. Possible, probable, and confirmed diagnoses are detailed. The goal is to foster the adoption of a common case definition that will facilitate future research efforts. (shrink)

ABSTRACT In Hearing the Other Side, Diana Mutz poses a conundrum: The more one is exposed to political disagreement, the more likely one is to withdraw from political engagement. This behavior may result in part from the political polarization of recent decades, but it may also be due to the traditional media, which tend to magnify political competition and portray it as a bitter conflict. The rise of the Internet and social media offered hope that people might more readily encounter (...) the arguments of the other side. Recent research suggests, however, that people thus far tend to consume political information online just as they do offline: selectively. (shrink)

"Since the end of the Cold War the human face of economics has gained visibility and generated new conversations among economists and other social theorists. The reductive and mechanical "economic systems" that characterized the capitalism-vs.-socialism debates of the mid-20th century have given way to pluralistic ecologies of economic provisioning in which complex agents cooperate via heterogeneous forms of production and exchange. This book examines how this pluralistic turn in economic thinking bears upon the venerable social-theoretic division of cooperative activity into (...) separate spheres of impersonal Gesellschaft and ethically thick Gemeinschaft. This book facilitates critical exchange among economists, philosophers, sociologists, anthropologists, and other social theorists by exploring the overlapping notions of cooperation, rationality, identity, reciprocity, trust, and exchange that emerge from multiple traditions of thought within and across their respective disciplines"--. (shrink)

Spiders spin multiple types of silks that are renowned for their superb mechanical properties. Flagelliform silk, used in the capture spiral of an orb‐web, is one of the few silks characterized by both cDNA and genomic DNA data. This fibroin is composed of repeating ensembles of three types of amino acid sequence motifs. The predominant subrepeat, GPGGX, likely forms a β‐turn, and tandem arrays of these turns are thought to create β‐spirals. These spring‐like helices may be critical for the exceptional (...) ability of capture silk to stretch and recoil. Each ensemble of motifs was found to correspond to a different exon within the flagelliform gene. The pattern of sequence similarity among exons indicates intragenic concerted evolution. Surprisingly, the introns between the iterated exons are also homogenized with each other. This unusual molecular architecture in the flagelliform silk gene has implications for the evolution and maintenance of spider silk proteins. BioEssays 23:750–756, 2001. © 2001 John Wiley & Sons, Inc. (shrink)

Single and double meter simultaneous measurements of a harmonic oscillator are reviewed and compared. Naimark extensions are constructed and relevant projection properties are exhibited for both cases. The theory is extended to the simultaneous measurement of squeezed position and momentum measurements.

Measurements involving spin-1/2 meters which result in the simultaneous measurement of spin components are described. The spin analoge of the Arthur-Kelly experiment is contrasted with a simultaneous measurement which interacts with the system. Naimark extensions are constructed and Bloch state projection properties are discussed for each case. The theory is extended to squeezed angular momentum measurement.

Important features of the self-concept can be located outside of the individual and inside close or related others. The authors use this insight to reinterpret data previously said to support the empathy-altruism model of helping, which asserts that empathic concern for another results in selflessness and true altruism. That is, they argue that the conditions that lead to empathic concern also lead to a greater sense of self-other overlap, raising the possibility that helping under these conditions is not selfless but (...) is also directed toward the self. In 3 studies, the impact of empathic concern on willingness to help was eliminated when oneness--a measure of perceived self-other overlap--was considered. Path analyses revealed further that empathic concern increased helping only through its relation to perceived oneness, thereby throwing the empathy-altruism model into question. The authors suggest that empathic concern affects helping primarily as an emotional signal of oneness. (shrink)

This book has been written in the hopes of equipping teachers-in-training—that is, teacher candidates—with the skills needed for action research: a process that leads to focused, effective, and responsive strategies that help students succeed.

This article begins with a review of the literature on the ethics of tax evasion and identifies the three main views that have emerged over the centuries, namely always ethical, sometimes ethical, and never or almost never ethical. It then reports on the results of a survey of HK and U.S. university business students who were asked to express their opinions on the 15 statements covering the three main views. The data are then analyzed to determine which of the three (...) viewpoints is dominant among the sample population. Although it was found that HK scores were significantly different from the U.S. scores, both HK and U.S. respondents were opposed to the view that tax evasion is always or almost always ethical. The strongest arguments justifying tax evasion were in cases where the government was corrupt, the tax system was unfair and unaffordable. The weakest arguments for justifying tax evasion were in cases where there was a selfish motive. The underlying cultural differences are further explored in hope of accounting for differing perceptions of ethics of tax evasion. Policy implications for increasing people’s awareness of ethics on tax evasion are also highlighted. (shrink)

With each novel infectious disease outbreak, there is scholarly attention to healthcare providers’ obligation to assume personal risk while they care for infected patients. While most agree that healthcare providers have a duty to assume some degree of risk, the extent of this obligation remains uncertain. Furthermore, these analyses rarely examine healthcare institutions’ obligations during these outbreaks. As a result, there is little practical guidance for healthcare institutions that are forced to weigh whether or when to exclude healthcare providers from (...) providing care or allow them to opt out from providing care to protect themselves. This article uses the COVID-19 pandemic to examine the concept of risk and the professional duties of both healthcare providers and healthcare institutions, and proposes a framework that can be used to make concrete institutional policy choices. This framework should be a useful tool for any hospital, clinic, or health agency that must make these choices during the current pandemic and beyond. (shrink)

We explore the ethics of deliberately exposing consenting adults to SARS-CoV-2 to induce immunity to the virus (“DEI” for short). We explain what a responsible DEI program might look like. We explore a consequentialist argument for DEI according to which DEI is a viable harm-reduction strategy. Then we consider a non-consequentialist argument for DEI that draws on the moral significance of consent. Additionally, we consider arguments for the view that DEI is unethical on the grounds that, given that large-scale DEI (...) would be highly likely to result in some severe illnesses and deaths, DEI amounts to a form of killing. Our thesis is that incorporating a DEI program alongside the status-quo “calibrate-the-curve” responses could have significant advantages at the early stages of pandemics. These potential advantages mean that, at a minimum, research into DEI would have been justified early in the COVID-19 pandemic, and that DEI programs should be explored as potential additions to our overall approach to emerging pandemics in the future. (shrink)

ABSTRACT:A wide range of research uses patterns of genetic variation to infer genetic similarity between individuals, typically referred to as genetic ancestry. This research includes inference of human demographic history, understanding the genetic architecture of traits, and predicting disease risk. Researchers are not just structuring an intellectual inquiry when using genetic ancestry, they are also creating analytical frameworks with broader societal ramifications. This essay presents an ethics framework in the spirit of virtue ethics for these researchers: rather than focus on (...) rule following, the framework is designed to build researchers’ capacities to react to the ethical dimensions of their work. The authors identify one overarching principle of intellectual freedom and responsibility, noting that freedom in all its guises comes with responsibility, and they identify and define four principles that collectively uphold researchers’ intellectual responsibility: truthfulness, justice and fairness, anti-racism, and public beneficence. Researchers should bring their practices into alignment with these principles, and to aid this, the authors name three common ways research practices infringe these principles, suggest a step-by-step process for aligning research choices with the principles, provide rules of thumb for achieving alignment, and give a worked case. The essay concludes by identifying support needed by researchers to act in accord with the proposed framework. (shrink)

Clinical simulation using standardized patients has become standard in medical education—and is now being incorporated into some graduate programs in bioethics—for both formative and summative evaluation. In most hospitals, though, clinical ethics consultation is done by the ethics committee (or a subset of it). This study is the first, to our knowledge, to examine the effectiveness of standardized patient simulation in training hospital ethics committees to deal with ethically complex and emotionally fraught clinical situations. Following a substantial revision of the (...) institution’s nonbeneficial treatment policy, ethics committee members underwent a simulation to determine whether a specific requested treatment should be withheld on the basis of futility. Pre- and postintervention surveys showed improvement in all domains, although the small sample size limited the power of the study, with only one measure showing a statistically significant difference. An interesting incidental finding was that one-quarter of committee members voted against a determination of futility, even though the case clearly met the definition set forth in the policy. This highlights the emotional challenges in implementing an ethically rigorous, unanimously accepted policy that ultimately determines the timing and manner of a patient’s death. (shrink)

Human ecology - the study and practice of relationships between the natural and the social environment - has gained prominence as scholars seek more effectively to engage with pressing global concerns. In the past seventy years most human ecology has skirted the fringes of geography, sociology and biology. This volume pioneers radical new directions. In particular, it explores the power of indigenous and traditional peoples' epistemologies both to critique and to complement insights from modernity and postmodernity.

Explores different applications of Aristotle's hypothesis on the components of form, matter and pyschological states.

At the heart of Levinas’s work is the apparently simple idea that through the encounter with another person, we are forced to give up our self-concern and take heed of the ethical relation between us. But, while simple on the surface, when one tries to characterize it in more detail, it can be hard to fit together the various ways in which Levinas talks about this relation and to identify precisely what he took its normative structure to be, as this (...) is described in a number of apparently different ways, that are not obviously compatible or equivalent, such as “command,” “call,” “summons,” “demand,” and so on. In this chapter, we intend to focus on these different characterizations and show what makes them different while also endeavoring to find a way in which Levinas’s conception may nonetheless be fitted together into a coherent account of the face-to-face encounter that is at the heart of his ethics. We will begin by considering the different normative terms used to characterize the encounter in that text and show how they are conceptually distinct from one another; we will then offer a way to read Levinas’s position to nonetheless show how these different normative relations can be fitted together into a stable position. (shrink)

We show that, in terms of both implication and consistency strength, an extendible with a larger strong cardinal is stronger than an enhanced supercompact, which is itself stronger than a hypercompact, which is itself weaker than an extendible. All of these are easily seen to be stronger than a supercompact. We also study Cn‐supercompactness.